Formal methods for open object-based distributed systems IV : IFIP TC6/WG6.1 / Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems; ed. Scott F. Smith, Carolyn L. Talcott
Corporate Author (Main) International Conference on Formal Methods for Open Object-Based Distributed Systems, 4, Stanford, 2000 Secondary Author Smith, Scott F.Talcott, Carolyn L. Country Estados Unidos. Publication Bosto : Kluwer Academic Publishers, cop. 2000 Description XII, 417 p. : il. ; 24 cm Series International Federation for Information Processing , 49) ISBN 0-7923-7923-3 CDU 681.3.06 519.68
| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Monografia | Biblioteca Geral da Universidade do Minho | BGUM 681.3.06 - I | Available | 282572 |
Total holds: 0
Enhanced descriptions from Syndetics:
There are no comments for this item.